Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
601	Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas Patrick Doherty Dept. of Computer Science Link¨oping University S[removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:08:21 Propositional calculus Model theory Boolean algebra Formal languages Predicate logic Propositional variable First-order logic Interpretation Propositional formula Logic Mathematical logic Mathematics
602	Fundamenta Informaticae ?? ([removed]–15 IOS Press A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty∗ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:26:04 Model theory Non-classical logic Propositional calculus Philosophical logic Boolean algebra Interpretation Modal logic First-order logic Function Logic Mathematical logic Mathematics
603	Sequential Logic Synthesis Using Symbolic Bi-Decompsition Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2009-05-13 19:30:33 Electronic engineering Reed-Muller expansion Function Logic optimization Combinatory logic Canonical form Binary decision diagram Path decomposition Asynchronous logic Mathematics Mathematical logic Boolean algebra
604	Fast Boolean Matching for LUT Structures Alan Mishchenko Satrajit Chatterjee Robert Brayton Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-09-26 01:21:56 Mathematical analysis Boolean function Boolean network Lookup table Truth table Circuit Monotonic function Function Boolean satisfiability problem Mathematics Boolean algebra Theoretical computer science
605	Modeling Concurrency with Geometry Vaughan Pratt † Computer Science Department Stanford University Stanford, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:40 Theoretical computer science Algebraic structures Formal methods Order theory Distributive lattice Lattice theory Boolean algebra Distributivity Finite-state machine Automata theory Models of computation Mathematics
606	Chu Spaces: Automata with quantum aspects Vaughan R. Pratt∗ Dept. of Computer Science Stanford University Stanford, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2003-10-12 15:35:27 Chu space Quantum logic Quantum field theory Boolean algebra John von Neumann Logic Uncertainty principle Matrix mechanics Introduction to quantum mechanics Physics Quantum mechanics Mathematics
607	Chu Spaces and their Interpretation as Concurrent Objects Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA[removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:05:55 Linear algebra Algebraic structures Mathematical structures Functions and mappings Chu space Matrix Vector space Duality Boolean algebra Algebra Mathematics Abstract algebra
608	Linear Logic for Generalized Quantum Mechanics Vaughan Pratt∗ Dept. of Computer Science Stanford University, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2003-10-12 15:40:30 Non-classical logic Linear logic Quantum logic Intuitionistic logic Modal logic Propositional calculus Boolean algebra Function Interpretation Logic Mathematical logic Mathematics
609	Shorter proof of universality of Chu spaces Vaughan Pratt July 15, 1994 The categories Strκ of κ-ary relational structures and their homomorphisms where κ is any ordinal are universal categories for mathematics to the Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:09 Algebra Structure Model theory Universal algebra Homomorphism Boolean algebra Mathematics Mathematical structures Algebraic structures
610	Gates Accept Concurrent Behavior Vineet Gupta Vaughan Pratt∗ Dept. of Computer Science Stanford University, CA 94305 {vgupta,pratt}@cs.stanford.edu Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-02-21 10:39:43 Algebraic logic Boolean algebra Algebraic structures Forcing Chu space Boolean algebras canonically defined Boolean-valued model Mathematical logic Mathematics Abstract algebra

UPDATE